#ifndef MEMORY_UTILS_H
#define MEMORY_UTILS_H

void free_concept(Concept* c);
void free_conjunction(Conjunction* c);
void free_axiom(Axiom* a);

// free the given array of axioms.
// will be used for freeing the array of original axioms and the array
// of normalized axioms of each thread (after these axioms are collected)
void free_axioms(Axiom** axs, int axCount);

// the below are obsoleted by the one above
// // free the original axioms array
// void free_original_axioms();
// 
// // free the normalized axioms array
// void free_normalized_axioms();
// 
// // free the normalized axioms array of a thread.
// // this should be called once all normalized axioms are collected from threads
// void free_thread_axioms(Axiom** axs, int axCount);

#endif
